3. Acting and Reflecting :
پدیدآورنده: edited by Wilfried Sieg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
4. Algebraic Foundations of Many-Valued Reasoning
پدیدآورنده: by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
6. Automated Deduction - A Basis for Applications
پدیدآورنده: edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
7. Automated Deduction - A Basis for Applications
پدیدآورنده: edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
9. BL,BL
پدیدآورنده: / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
10. Formal Aspects of Context
پدیدآورنده: edited by Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
11. Fuzzy Sets, Logics and Reasoning about Knowledge
پدیدآورنده: edited by Didier Dubois, Henri Prade, Erich Peter Klement.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
12. Logic, Language and Reasoning
پدیدآورنده: edited by Hans Jürgen Ohlbach, Uwe Reyle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
13. Logic and its applications :
پدیدآورنده: Md. Aquil Khan, Amaldev Manuel (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Congresses.,Logic, Symbolic and mathematical.
رده :
QA9
.
A1
I24
2019eb
14. Multi-Dimensional Modal Logic
پدیدآورنده: by Maarten Marx, Yde Venema.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
15. Philosophical Logic and Artificial Intelligence
پدیدآورنده: edited by Richmond H. Thomason.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic.,Philosophy (General)
رده :
BC71
.
E358
1989
